AVIACC

Analysis and Verification of Critical Concurrent Programs

Search: ^d

Research/Aviacc Web Changed Changed by
Description 20 Feb 2013 - 11:22 - r2 JorgeSousaPinto
Motivation In a brief comparison of software model checking with deductive verification techniques for the purpose of verifying concurrent software, we stress the ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM